type int = number;
//class PetCpnTimes

    export  class PetCpnTimes
    {
        

        public static /* var */ableAttackTimes: int=20;

        public static /* var */ableBuyTimes: int=20;
    }

            PetCpnTimes.ableAttackTimes = 20;
            PetCpnTimes.ableBuyTimes = 20;
        